Suppose κ is a supercompact cardinal. It is known that for every λ ≥ κ, many normal ultrafilters on P κ (λ) have the partition property. It is also known that certain large cardinal assumptions imply the existence of normal ultrafilters without the partition property. In [1], we introduced the tree T of normal ultrafilters associated with κ. We investigate the distribution throughout T of normal ultrafilters with and normal ultrafilters without the partition property.

Suppose that U and U' are normal ultrafilters associated with some supercompact cardinal. How may we compare U and U'? In what ways are they similar, and in what ways are they different? Partial answers are given in [1], [2], [3], [5], [6], and [7]. In this paper, we continue this study. In [6], Menas introduced a combinatorial principle χ(U) of normal ultrafilters U associated with supercompact cardinals, and showed that normal ultrafilters satisfying this property also satisfying this property also (...) satisfy a partition property. In [5], Kunen and Pelletier showed that this partition property for U does not imply χ (U). Using results from [3], we present a different method of finding such normal ultrafilters which satisfy the partition property but do not satisfy χ (U). Our method yields a large collection of such normal ultrafilters. (shrink)

Reviewed Works:M. Magidor, Combinatorial Characterization of Supercompact Cardinals.Carlos A. Di Prisco, William S. Zwicker, Flipping Properties and Supercompact Cardinals.Donna M. Carr, $P_\kappa\lambda$-Generalizations of Weak Compactness.Donna M. Carr, The Structure of Ineffability Properties of $P_\kappa\lambda$.Donna M. Carr, $P_\kappa\lambda$ Partition Relations.Donna M. Carr, A Note on the $\lambda$-Shelah Property.

In this note, we show that a partition of a cake is Pareto optimal if and only if it maximizes some convex combination of the measures used by those who receive the resulting pieces of cake. Also, given any sequence of positive real numbers that sum to one (which may be thought of as representing the players' relative entitlements), we show that there exists a partition in which each player receives either more than, less than, or exactly his or her (...) entitlement (according to his or her measure), in any desired combination, provided that the measures are not all equal. (shrink)